Realizing Changes of Operational Modes with a Pre Run-Time Scheduled Hard Real-Time System
نویسنده
چکیده
Most hard real-time computer systems control processes that undergo several, mutually exclusive modes of operation. This paper discusses issues of handling mode changes and requirements for their application. Speci cation of mode changes, construction of static schedules for modes and transitions, and run-time execution of mode changes are presented. We propose concepts for mode changes in the context of MARS, a pre run-time scheduled hard real-time system. Our methods adhere closely to the ones established for single modes. By decomposing the system into a set of disjoint modes, the design process and its comprehension are facilitated, testing e orts are reduced signi cantly, and solutions are enabled which do not exist if all system activities of all modes are combined into a single schedule.
منابع مشابه
Realizing Changes of Operational Modes with a Pre Run - Time Scheduled Hard Real - Time System GERHARD
Most hard real-time computer systems control processes that undergo several, mutually exclusive modes of operation. This paper discusses issues of handling mode changes and requirements for their application. Speci cation of mode changes, construction of static schedules for modes and transitions, and run-time execution of mode changes are presented. We propose concepts for mode changes in the ...
متن کاملChanging Operational Modes in the Context of PreRun - Time
Typical processes controlled by hard real-time computer systems undergo several, mutually exclusive modes of operation. By deterministically switching among a number of static schedules, a pre run-time scheduled system is able to adapt to changing environmental situations. This paper presents concepts for speci cation of mode changes, construction of static schedules for modes and transitions, ...
متن کاملReal-time Scheduling of a Flexible Manufacturing System using a Two-phase Machine Learning Algorithm
The static and analytic scheduling approach is very difficult to follow and is not always applicable in real-time. Most of the scheduling algorithms are designed to be established in offline environment. However, we are challenged with three characteristics in real cases: First, problem data of jobs are not known in advance. Second, most of the shop’s parameters tend to be stochastic. Third, th...
متن کاملبرنامهریزی همزمان انرژی و ذخیره کنترل فرکانس اولیه با لحاظ کردن قابلیتهای فنی واحدهای نیروگاهی پیشرفته
Load frequency control includes the operating system and functions that provide real time balance of load and generation. On the other hand, depending on technical capabilities and operational constraints, generating units may be classified for participating in frequency control. Simultaneous scheduling of generation together with primary reserve, in market based power system, has been investig...
متن کاملMode Changes In Priority Pre-Emptively Scheduled Systems
software load in any mode is lower than the total software load. However, the auto-stability software is needed in all three modes, and needs to run continuously without missing a deadline — a mode change must not cause a glitch where the software fails to meet its timing requirements (e.g. a task missing a deadline or release being delayed). In addition to planned mode changes there are change...
متن کامل